<?php
$name = "with_\0_null_char";
$$name = 42;

die();
?>
